The Syntax and Semantics of FIACRE
نویسندگان
چکیده
∗ LAAS-CNRS Université de Toulouse 7, avenue du Colonel Roche, 31077 Toulouse Cedex, France E-mail: [email protected] + IRIT Université Paul Sabatier 118 Route de Narbonne, 31062 Toulouse Cedex 9, France E-mail: [email protected] † INRIA Centre de Recherche de Grenoble Rhône-Alpes / équipe-projet VASY 655, avenue de l’Europe, 38 334 Saint Ismier Cedex, France E-mail: [email protected]
منابع مشابه
Reverse Engineering of Network Software Binary Codes for Identification of Syntax and Semantics of Protocol Messages
Reverse engineering of network applications especially from the security point of view is of high importance and interest. Many network applications use proprietary protocols which specifications are not publicly available. Reverse engineering of such applications could provide us with vital information to understand their embedded unknown protocols. This could facilitate many tasks including d...
متن کاملTowards a verified transformation from AADL to the formal component-based language FIACRE
During the last decade, aadl is an emerging architecture description languages addressing the modeling of embedded systems. Several research projects have shown that aadl concepts are well suited to the design of embedded systems. Moreover, aadl has a precise execution model which has proved to be one key feature for effective early analysis. In this paper, we are concerned with the foundationa...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملOpen Archive TOULOUSE Archive Ouverte (OATAO)
During the last decade, aadl is an emerging architecture description languages addressing the modeling of embedded systems. Several research projects have shown that aadl concepts are well suited to the design of embedded systems. Moreover, aadl has a precise execution model which has proved to be one key feature for effective early analysis. In this paper, we are concerned with the foundationa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009